| 翻訳と辞書 |
| transfer principle ： ウィキペディア英語版 |
transfer principle
In model theory, a transfer principle states that all statements of some language that are true for some structure are true for another structure. One of the first examples was the Lefschetz principle, stating that any sentence in the first-order language of fields true for the complex numbers is also true for any algebraically closed field of characteristic 0.
==History==
An incipient form of a transfer principle was described by Leibniz under the name of "the Law of Continuity". Here infinitesimals are expected to have the "same" properties as appreciable numbers. Similar tendencies are found in Cauchy, who used infinitesimals to define both the continuity of functions (in Cours d'Analyse) and a form of the Dirac delta function.〔
In 1955, Jerzy Łoś proved the transfer principle for any hyperreal number system. Its most common use is in Abraham Robinson's non-standard analysis of the hyperreal numbers, where the transfer principle states that any sentence expressible in a certain formal language that is true of real numbers is also true of hyperreal numbers.
抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』
■ウィキペディアで「transfer principle」の詳細全文を読む
スポンサード リンク
| 翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|